//给定三个字符串 s1、s2、s3，请你帮忙验证 s3 是否是由 s1 和 s2 交错 组成的。
//
// 两个字符串 s 和 t 交错 的定义与过程如下，其中每个字符串都会被分割成若干 非空 子字符串：
//
//
// s = s1 + s2 + ... + sn
// t = t1 + t2 + ... + tm
// |n - m| <= 1
// 交错 是 s1 + t1 + s2 + t2 + s3 + t3 + ... 或者 t1 + s1 + t2 + s2 + t3 + s3 + ...
//
//
// 注意：a + b 意味着字符串 a 和 b 连接。
//
//
//
// 示例 1：
//
//
//输入：s1 = "aabcc", s2 = "dbbca", s3 = "aadbbcbcac"
//输出：true
//
//
// 示例 2：
//
//
//输入：s1 = "aabcc", s2 = "dbbca", s3 = "aadbbbaccc"
//输出：false
//
//
// 示例 3：
//
//
//输入：s1 = "", s2 = "", s3 = ""
//输出：true
//
//
//
//
// 提示：
//
//
// 0 <= s1.length, s2.length <= 100
// 0 <= s3.length <= 200
// s1、s2、和 s3 都由小写英文字母组成
//
//
//
//
// 进阶：您能否仅使用 O(s2.length) 额外的内存空间来解决它?
//
// Related Topics 字符串 动态规划 👍 874 👎 0


//leetcode submit region begin(Prohibit modification and deletion)
//? 记忆化递归
function isInterleave(s1: string, s2: string, s3: string): boolean {

    if (s1.length + s2.length != s3.length) return false;
    //? 记忆化 二维数组
    const memo = new Array(s1.length + 1);
    for (let i = 0; i < memo.length; i++) {
        memo[i] = new Array(s2.length + 1);
    }
    //? DFS
    const check = (i, j, k) => {
        //? 有缓存直接返回缓存
        if (memo[i][j] != null) return memo[i][j];
        //? 到了最后 直接赋true 也返回true
        if (k == s3.length) return memo[i][j] = true;

        let isValid = false;
        //? 当出现两个分支都能选择时 需要考虑两个分支是否能够走通 所以需要递归
        //? 递归此分支
        if (i < s1.length && s1[i] == s3[k]) {
            isValid = check(i + 1, j, k + 1);
        }
        //? 递归此分支
        if (j < s2.length && s2[j] == s3[k]) {
            //? 保证不覆盖s1的结果(如果s1结果为true)
            isValid = isValid || check(i, j + 1, k + 1);
        }
        //? 返回一个赋值语句 其实就是返回isValid的值
        return memo[i][j] = isValid;
    };

    return check(0, 0, 0);


};
//leetcode submit region end(Prohibit modification and deletion)
